package sketch.issta11.specifyvalues;

import org.eclipse.jdt.core.dom.CompilationUnit;

import sketch.ast.ASTUtils;
import sketch.specs.SketchTestProcessor;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class ChooseOneValueTest extends TestCase {

	public static Test suite() {
		return new TestSuite(ChooseOneValueTest.class);
	}
	
	public void testExpandChooseOneNotations() {
		String filePath = "./tests/sketch/issta11/specifyvalues/Z_ChooseOneValue_Example.java";
		SketchTestProcessor sketchProcessor = new SketchTestProcessor(filePath);
		CompilationUnit unit = sketchProcessor.getProcessedCompilationUnit();
		System.out.println(unit);
		assertEquals(56, ASTUtils.getAllMethods(unit).size());
	}
}
